Exploiting Quasi-reversible Structures in Markovian Process Algebra Models
نویسندگان
چکیده
منابع مشابه
Exploiting Quasi-reversible Structures in Markovian Process Algebra Models
EEcient product form solution is one of the major attractions of queueing networks for performance modelling purposes. These models rely on a form of interaction between nodes in a network which allows them to be solved in isolation, since they behave as if independent up to normalisation. Markovian process algebras (MPA) extend classical process algebras with information about the duration of ...
متن کاملApplying Quasi-Separability to Markovian Process Algebra
Stochastic process algebras have become an accepted part of performance modelling over recent years. Because of the advantages of compositionality and exibility they are increasingly being used to model larger and more complex systems. Therefore tools which support the evaluation of models expressed using stochastic process algebra must be able to utilise the full range of decomposition and sol...
متن کاملExtended Markovian Process Algebra
EMPA enhances the expressiveness of classical process algebras by integrating functional and performance descriptions of concurrent systems. This is achieved by ooering, besides passive actions (useful for pure nondeterminism), actions whose duration is exponentially distributed as well as immediate actions (useful for performance abstraction), parametrized by priority levels (hence prioritized...
متن کاملGeneralized Semi-Markovian Process Algebra
We present GSMPA, a stochastically timed process algebra that enhances the expressiveness of the stochastically timed process algebra EMPA by allowing arbitrarily distributed durations to be directly modeled through the adoption of the mechanism of action identification as well as the adoption of the preselection policy for alternative actions. GSMPA is introduced together with the definition o...
متن کاملA two-level decomposition scheme for Markovian process algebra models
The concurrent composition of Markov chains quickly leads to the notorious problem of state space explosion, also known as the largeness problem, as the number of involved Markov chains increases. In the context of Markovian Process Algebras (MPAs) this problem is of particular interest, since small and compact model descriptions in form of language terms provided by the MPA may possess huge un...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1995
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/38.7.510